41. Experimental algorithms
پدیدآورنده : / Paola Festa (ed.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Computer algorithms, Congresses
رده :
QA76
.
9
.
A43S42
2010
42. Experimental algorithms :
پدیدآورنده : Ralf Klasing (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer algorithms -- Congresses.,Computer algorithms.,Informatique.
43. Formal methods :
پدیدآورنده : Tiago Massoni, Mohammad Reza Mousavi (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Formal methods (Computer science), Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
F67
44. Formal modeling and analysis of timed systems :
پدیدآورنده : David N. Jansen, Pavithra Prabhakar (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,System analysis, Congresses.,Temporal automata, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Simulation and Modeling.,Software Engineering.,3D graphics & modelling.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computer simulation.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,System analysis.,Temporal automata.
رده :
QA76
.
9
.
F67
45. Formal techniques for distributed objects, components, and systems :
پدیدآورنده : Jorge A. Pérez, Nobuko Yoshida (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer network protocols, Congresses.,Electronic data processing-- Distributed processing, Congresses.,Formal methods (Computer science), Congresses.,Computer network protocols.,Electronic data processing-- Distributed processing.,Formal methods (Computer science)
رده :
QA76
.
9
.
D5
.
F67
2019
46. ICT Innovations 2018 :
پدیدآورنده : Slobodan Kalajdziski, Nevena Ackovska (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Computational intelligence, Congresses.,Information technology, Congresses.,Telecommunication, Congresses.,Artificial Intelligence.,Computational Biology/Bioinformatics.,Computer Communication Networks.,Data Mining and Knowledge Discovery.,Information Systems Applications (incl. Internet).,Special Purpose and Application-Based Systems.,Artificial intelligence.,Artificial intelligence.,Computational intelligence.,Computers-- Computer Science.,Computers-- Database Management-- Data Mining.,Computers-- Expert Systems.,Computers-- Hardware-- Network Hardware.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Data mining.,Expert systems-- knowledge-based systems.,Information retrieval.,Information technology.,Life sciences: general issues.,Network hardware.,Telecommunication.
رده :
Q342
47. Information Technology -- New Generations :
پدیدآورنده : Shahram Latifi, editor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science, Congresses.,Electrical engineering.,Information technology, Congresses.,Algorithms & data structures.,Computer science.,Computer security.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Electrical engineering.,Information retrieval.,Information technology.
رده :
QA75
.
5
48. Information and communications security :
پدیدآورنده : David Naccache [and 7 more] (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer security, Congresses.,Telecommunication systems-- Security measures, Congresses.,Algorithms & data structures.,Computer networking & communications.,Computer security.,Computers-- Hardware-- General.,Computers-- Information Theory.,Computers-- Online Services-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Software Engineering.,Telecommunication systems-- Security measures.
رده :
QA76
.
9
.
A25
49. Intelligent information and database systems :
پدیدآورنده : Ngoc Thanh Nguyen, Ford Lumban Gaol, Tzung-Pei Hong, Bogdan Trawiński (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Database management, Congresses.,Artificial intelligence.,Database management.
رده :
Q334
.
A85
2019
50. Knowledge and technology integration in production and services :
پدیدآورنده : edited by Vladimír Marǐk, Luis M. Camarinha-Matos, Hamideh Afsarmanesh.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer integrated manufacturing systems -- Congresses.,Manufacturing processes -- Automation -- Congresses.,Systems engineering -- Congresses.
رده :
TS155
.
63
E358
2002
51. Knowledge and technology integration in production and services :
پدیدآورنده : edited by Vladimír Marǐk, Luis M. Camarinha-Matos, Hamideh Afsarmanesh.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer integrated manufacturing systems -- Congresses.,Manufacturing processes -- Automation -- Congresses.,Systems engineering -- Congresses.
52. Marine navigation and safety of sea transportation
پدیدآورنده : / editor, Adam Weintrit
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Electronics in navigation--Congresses,Aids to navigation--Congresses,Shipping--Safety measures--Congresses,Shipping--Technological innovations--Congresses,Nautical instruments--Congresses
53. Metadata and semantic research :
پدیدآورنده : Fabio Sartori, Miguel Ángel Sicilia, Nikos Manouselis (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Metadata, Congresses.,Semantic computing, Congresses.,Semantic Web, Congresses.,COMPUTERS-- Online Services.,COMPUTERS-- System Administration-- Storage & Retrieval.,Informatique.,Metadata.,Semantic computing.,Semantic Web.
رده :
QA76
.
5913
.
I584
2009eb
54. Model and data engineering :
پدیدآورنده : El Hassan Abdelwahed, Ladjel Bellatreche, Mattéo Golfarelli, Dominique Méry, Carlos Ordonez (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer architecture, Congresses.,Database management, Congresses.,Knowledge management, Congresses.,Artificial Intelligence.,Information Systems Applications (incl. Internet).,Mathematical Logic and Formal Languages.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Software Engineering.,Artificial intelligence.,Computer architecture.,Computer programming / software development.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Database management.,Information retrieval.,Knowledge management.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
D3
55. Modelling and implementation of complex systems :
پدیدآورنده : editors Salim Chikhi, Abdelmalek Amine, Allaoua Chaoui, Djamel Eddine Saidouni.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Computer algorithms, Congresses.,Computer science, Congresses.,Software engineering, Congresses.,Artificial intelligence.,Computer algorithms.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Software engineering.
رده :
QA75
.
5
56. Multi-agent systems and agreement technologies :
پدیدآورنده : Francesco Belardinelli, Estefanía Argente (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Multiagent systems, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer security.,Computers-- Expert Systems.,Computers-- Intelligence (AI) & Semantics.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Expert systems / knowledge-based systems.,Mathematical theory of computation.,Mathematics-- Logic.,Multiagent systems.,Software Engineering.
رده :
QA76
.
76
.
I58
57. NASA Formal Methods :
پدیدآورنده : Julia M. Badger, Kristin Yvonne Rozier (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Formal methods (Computer science), Congresses.,Formal methods (Computer science)
رده :
QA76
.
9
.
F67
N45
2019
58. Network and parallel computing :
پدیدآورنده : Erik Altman, Weisong Shi (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer network architectures, Congresses,Parallel processing (Electronic computers), Congresses
رده :
QA76
.
58
.
N63
2011
59. Network and parallel computing :
پدیدآورنده : Ching-Hsien Hsu, Xiaoming Li, Xuanhua Shi, Ran Zheng (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer networks, Congresses,Parallel computers, Congresses,Parallel processing (Electronic computers), Congresses
رده :
QA76
.
58
.
N63
2013
60. Neural networks:
پدیدآورنده : Bert Kappen and Stan Gielen (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Intelligence artificielle.,Neural networks (Computer science) -- Congresses.,Réseaux neuronaux.
رده :
QA76
.
87
B478
1995
